Technical reports in Computer and Information Science Report number 2008:3 A Comparative Study of Industrial Static Analysis Tools (Extended Version)

Source URL: liu.diva-portal.org

• Computing
• Data types
• Type theory
• Procedural programming languages
• Polyspace
• Abstract interpretation
• Static program analysis
• Type system
• Aliasing
• Program analysis
• Software engineering
• Programming language theory

Case Study Connecting Machines and Devices From the Louvre in Paris, to the New York City subway system–

Source URL: wwwcdn2.actian.com

• Home automation
• LonWorks
• Computing
• Object database
• Echelon Corporation
• Embedded database
• Database
• Embedded system
• Object-oriented programming
• Data management
• Database management systems
• Building automation

USE OF GENETIC PROGRAMMING TO FIND AN IMPULSE RESPONSE FUNCTION IN SYMBOLIC FORM( *) John R. Koza (1), Martin A. Keane (2) and James P. Rice (3) Abstract: The recently developed genetic programming paradigm provides a wa

Source URL: www.genetic-programming.com

• Mathematical analysis
• Signal processing
• Cybernetics
• Mathematical optimization
• Genetic algorithms
• Genetic programming
• John Koza
• LTI system theory
• Impulse response
• Mathematics
• Applied mathematics
• Control theory

Toward Reflective Application Testing in Open Environments Eyvind W. Axelsen, Einar Broch Johnsen, and Olaf Owe Department of Informatics, University of Oslo Abstract Many distributed applications can be understood in te

Source URL: www.nik.no

• Mathematics
• Logic in computer science
• Maude system
• Computability theory
• Abstraction
• Rewriting
• Predicate
• Philosophy
• Normal form
• Theoretical computer science
• Formal languages
• Programming language theory

Extending the Scope of the Checkpoint-on-Failure Protocol for Forward Recovery in Standard MPI Wesley Bland, Peng Du, Aurelien Bouteiller, Thomas Herault, George Bosilca, and Jack J. Dongarra Innovative Computing Laborat

Source URL: icl.cs.utk.edu

• Parallel computing
• Application programming interfaces
• Application checkpointing
• MPICH
• ScaLAPACK
• Open MPI
• Fault-tolerant system
• Replication
• OpenMP
• Computing
• Fault-tolerant computer systems
• Computer programming

THE MUSICAL SCORE: THE SYSTEM AND THE INTERPRETER This paper introduces live coding as a new path in the evolution of the musical score. Whilst being the perfect vehicle for the performance of algorithmic music, it also

Source URL: www.ixi-software.net

• Electronic music
• Audio programming languages
• Digital art
• Experimental music
• Live coding
• Live music
• Computer music
• Impromptu
• SuperCollider
• Music
• Computing
• Software engineering

TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract

Source URL: users.ece.cmu.edu

• Computing
• Programming language theory
• Decompiler
• Type system
• Type inference
• Subtype polymorphism
• MOV
• Pointer
• Assembly language
• Software engineering
• Type theory
• Data types

Outlook The Group’s decision to reinvest in programming, service and system upgrades despite adverse conditions spurred record growth in customer base and boosted recurrent revenue in 2010.

Source URL: www.i-cablecomm.com

An Exercise in Fault Tolerance Einar Broch Johnsen Department of Informatics, University of Oslo Abstract In this paper fault tolerance issues are addressed in system development using the specification language OUN [8].

Source URL: www.nik.no

• Freedesktop.org
• X Window System
• ALGOL 68
• Regular expression
• Computing
• Software
• Procedural programming languages

Build Awesome Command-Line Applications in Ruby 2

Source URL: media.pragprog.com

• Scripting languages
• Online help
• Technical communication
• Ruby programming language
• Web application frameworks
• RubyGems
• Ruby
• Command-line interface
• Man page
• Software
• Computing
• System software